- assertible law
- мат.доказуемый закон
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Crispin Wright — Crispin James Garth Wright Full name Crispin James Garth Wright Born December 21, 1942 Surrey, England Era 20th century philosophy Region Western Philosophy School Analytic … Wikipedia